Raise VIRQ_DOM_EXC when a domain is destroyed from dom0.
authorcl349@firebug.cl.cam.ac.uk <cl349@firebug.cl.cam.ac.uk>
Tue, 30 Aug 2005 20:01:23 +0000 (20:01 +0000)
committercl349@firebug.cl.cam.ac.uk <cl349@firebug.cl.cam.ac.uk>
Tue, 30 Aug 2005 20:01:23 +0000 (20:01 +0000)
Signed-off-by: Christian Limpach <Christian.Limpach@cl.cam.ac.uk>
xen/common/domain.c

index 713e5bb3ff11983851c18ad58acfb94e66c01eb6..8405fff7b0c46fd88fb884143f4b26d83590e2e2 100644 (file)
@@ -114,6 +114,8 @@ void domain_kill(struct domain *d)
             sched_rem_domain(v);
         domain_relinquish_resources(d);
         put_domain(d);
+
+        send_guest_virq(dom0->vcpu[0], VIRQ_DOM_EXC);
     }
 }